\begin{tabbing}
$k$ sends only on links in $L$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=mk{-}ma(;\+
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex];
\\[0ex]$k$ : $L$;
\\[0ex])
\-
\end{tabbing}